Unified theory of integral true degrees in NM theory

Based on the NM propositional logic system of nilpotent minimum logic, concept integral truth degree formula is firstly proposed by integrating function induced formula, and MP rule HS are proved means invariance. Secondly, in similarity pseudo-distance introduced into set general formulas system, some good properties about proved. Finally, terms divergence degrees diameter, a new membership for reflecting consistency theories fuzzy proposed, which that inconsistent equal to 0 completely consistent 1.